Cs - R 9353 1993

نویسندگان

  • K R Apt
  • Krzysztof R Apt
چکیده

We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More speciically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Suppression of T-lymphoma cell apoptosis by monoclonal antibodies raised against cell surface adhesion molecules.

We have previously established a mouse malignant T-lymphoma CS-21 cell line that preferentially metastasizes to lymph nodes after s.c. inoculation into BALB/c mice. The CS-21 lymphoma cells were grown in vitro in the presence of CA-12 stromal cells isolated from lymph nodes. When CS-21 cells were cultured alone, they underwent apoptotic cell death with DNA fragmentation. In contrast, the cultur...

متن کامل

The road to two theorems of logic

Work on how to axiomatize the subtheories of first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.

متن کامل

An inverse approach to convex ordered median problems in trees

The convex ordered median problem is a generalization of the median, the k-centrum or the center problem. The task of the associated inverse problem is to change edge lengths at minimum cost such that a given vertex becomes an optimal solution of the location problem, i.e., an ordered median. It is shown that the problem is NP-hard even if the underlying network is a tree and the ordered median...

متن کامل

Upper extremity and digital replantation.

Digital replantation has become a well-established technique among reconstructive hand surgeons. Numerous replantation centers around the world have published series with impressive survival rates. The ultimate goal of replantation is the restoration of normal hand or digital function; thus, replantation success is not solely related to the outcome of the microvascular anastomosis, but also to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993